inner product isomorphism